Theorem proving in higher order logics - 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999 : proceedings
- Författare
- Yves Bertot International Conference on Theorem Proving in Higher Logics 1999) Nice :
- (Yves Bertot ... (eds.).)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 1999 | Tyskland, Berlin | 358 sidor. ill. 24 cm |